#include <stdlib.h>
#include "robustType.h"
using namespace NSRobusto;

void robustoVotingErr();

typedef RobustType<unsigned int, robustoVotingErr> TypeUint;

TypeUint sum1(TypeUint num)
{
  return num + 1; 
}

void robustoVotingErr()
{
    exit(1);
}
